home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / MacHaskell 2.2 / ast / predicates.scm < prev    next >
Encoding:
Text File  |  1994-09-27  |  431 b   |  19 lines  |  [TEXT/CCL2]
  1. ;;; predicates.scm -- various useful predicates, collected from other places
  2. ;;;
  3. ;;; author :  Sandra Loosemore
  4. ;;; date   :  19 Mar 1992
  5. ;;;
  6.  
  7.  
  8. ;;; Some predicates on patterns (used by CFN)
  9.  
  10. (define-integrable (var-or-wildcard-pat? p)
  11.   (or (is-type? 'wildcard-pat p)
  12.       (is-type? 'var-pat p)))
  13.  
  14. (define-integrable (irrefutable-pat? p)
  15.   (or (is-type? 'wildcard-pat p)
  16.       (is-type? 'var-pat p)
  17.       (is-type? 'irr-pat p)))
  18.  
  19.